what religious leader is the highest?
(ARGMAX religion.religious_leader people.person.height_meters)