which pilot is also the shortest astronaut?
(ARGMIN (AND spaceflight.astronaut (JOIN people.person.profession m.0hltv)) people.person.height_meters)