who's the shortest astronaut whose primary occupation is military aviator?
(ARGMIN (AND spaceflight.astronaut (JOIN people.person.profession m.0h4pql5)) people.person.height_meters)