Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Quais são os nomes de todas as espaçonaves que foram lançadas tanto pela NASA quanto pela SpaceX?
 ###Tabelas: 
CREATE TABLE Spacecraft (id INT, name VARCHAR(50), manufacturer VARCHAR(50), launch_date DATE); INSERT INTO Spacecraft (id, name, manufacturer, launch_date) VALUES (1, 'Voyager 1', 'NASA', '1977-09-05'), (2, 'Dragon 1', 'SpaceX', '2010-12-08');
SELECT s.name FROM Spacecraft s WHERE s.manufacturer IN ('NASA', 'SpaceX') GROUP BY s.name HAVING COUNT(DISTINCT s.manufacturer) = 2;