who is the tallest of all the us presidents ?
(ARGMAX government.us_president people.person.height_meters)