which spacecrafts do raytheon co. manufacture?
(AND spaceflight.spacecraft (JOIN spaceflight.spacecraft.manufacturer m.01ky8y))