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 espaçonaves foram lançadas pela ISRO?
 ###Tabelas: 
CREATE TABLE Spacecraft (id INT, name VARCHAR(255), manufacturer VARCHAR(255), type VARCHAR(255), launch_date DATE); INSERT INTO Spacecraft (id, name, manufacturer, type, launch_date) VALUES (1, 'Chandrayaan-1', 'ISRO', 'Robotic', '2008-10-22'); INSERT INTO Spacecraft (id, name, manufacturer, type, launch_date) VALUES (2, 'Mars Orbiter Mission', 'ISRO', 'Robotic', '2013-11-05');
SELECT name FROM Spacecraft WHERE manufacturer = 'ISRO';