which spacecrafts use national aeronautics and space administration for their manufacturer?
(AND spaceflight.spacecraft (JOIN spaceflight.spacecraft.manufacturer m.05f4p))