the name of the tallest judge is what?
(ARGMAX law.judge people.person.height_meters)