who is the tallest astronomer?
(ARGMAX astronomy.astronomer people.person.height_meters)