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 dos astronautas que voaram em ambas as naves da SpaceX e da NASA?
 ###Tabelas: 
CREATE TABLE nasa_crafts (craft VARCHAR(50), manufacturer VARCHAR(50)); INSERT INTO nasa_crafts (craft, manufacturer) VALUES ('Apollo', 'NASA'), ('Shuttle', 'NASA'), ('Orion', 'NASA'); CREATE TABLE astronauts (astronaut_id INT, name VARCHAR(100), age INT, craft VARCHAR(50)); INSERT INTO astronauts (astronaut_id, name, age, craft) VALUES (1, 'John', 45, 'Dragon'), (2, 'Sarah', 36, 'Starship'), (3, 'Mike', 50, 'Falcon'), (4, 'Jane', 42, 'Apollo'), (5, 'Emma', 34, 'Shuttle');
SELECT DISTINCT a.name FROM astronauts a INNER JOIN spacex_crafts c ON a.craft = c.craft INNER JOIN nasa_crafts n ON a.craft = n.craft;