what is the name of the shortest football player?
(ARGMIN soccer.football_player people.person.height_meters)