which us president was the tallest?
(ARGMAX government.us_president people.person.height_meters)