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: Listar todas as espaçonaves que usam um tipo específico de sistema de propulsão.
 ###Tabelas: 
CREATE TABLE Spacecraft (id INT, name VARCHAR(30), propulsion_system VARCHAR(30)); INSERT INTO Spacecraft (id, name, propulsion_system) VALUES (1, 'Nebula', 'Ion Thruster'); INSERT INTO Spacecraft (id, name, propulsion_system) VALUES (2, 'Pulsar', 'Chemical Rocket'); INSERT INTO Spacecraft (id, name, propulsion_system) VALUES (3, 'Voyager', 'Gravitational Assist');
SELECT name FROM Spacecraft WHERE propulsion_system = 'Ion Thruster';