which astronaut who is also an engineer is the shortest?
(ARGMIN (AND spaceflight.astronaut (JOIN people.person.profession m.09j9h)) people.person.height_meters)