the manufacturer thiokol produces which rocket?
(AND spaceflight.rocket (JOIN spaceflight.rocket.manufacturer m.05fj01))