what is the overall number of the player whose college will be led by head coach jimmy lake in 2020 ?
264