who is the shortest astronaut whose primary occupation is naval officer?
(ARGMIN (AND spaceflight.astronaut (JOIN people.person.profession m.03w8_5b)) people.person.height_meters)