of all the football players, who is the shortest?
(ARGMIN soccer.football_player people.person.height_meters)