who was the manufacturer of the orbiting carbon observatory spacecraft?
(AND spaceflight.satellite_manufacturer (JOIN spaceflight.satellite_manufacturer.spacecraft_manufactured m.0ch1yn))