out of all astronomers, who is the tallest?
(ARGMAX astronomy.astronomer people.person.height_meters)