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 todos os astronautas que pilotaram espaçonaves fabricadas pela SpaceX.
 ###Tabelas: 
CREATE TABLE Astronauts (AstronautID INT, Name VARCHAR(50), Gender VARCHAR(10), Missions VARCHAR(50), Manufacturer VARCHAR(50)); INSERT INTO Astronauts VALUES (1, 'Bob Smith', 'Male', 'SpaceX, NASA', 'SpaceX'), (2, 'Jane Doe', 'Female', 'NASA', 'Boeing'), (3, 'Alice Johnson', 'Female', 'SpaceX', 'SpaceX');
SELECT Name FROM Astronauts WHERE Manufacturer = 'SpaceX';