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 pela Roscosmos?
 ###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, 'Vostok 1', 'Roscosmos', '1961-04-12'), (2, 'Mercury-Redstone 3', 'NASA', '1961-05-05'), (3, 'Sputnik 1', 'Roscosmos', '1957-10-04');
SELECT s.name FROM Spacecraft s WHERE s.manufacturer = 'Roscosmos';