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