what is the name of the tallest us president?
(ARGMAX government.us_president people.person.height_meters)