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