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: Encontre os nomes de todos os astronautas que estiveram na Estação Espacial Internacional (ISS)
 ###Tabelas: 
CREATE TABLE astronauts (astronaut_id INT, name VARCHAR(50), agency VARCHAR(50)); INSERT INTO astronauts VALUES (1, 'Jessica Meir', 'NASA'), (2, 'Christina Koch', 'NASA'), (3, 'Alexey Ovchinin', 'Roscosmos'); CREATE TABLE space_missions (mission_id INT, mission_name VARCHAR(50), astronaut_id INT, agency VARCHAR(50)); INSERT INTO space_missions VALUES (1, 'Expedition 61', 2, 'NASA'), (2, 'Expedition 62', 1, 'NASA'), (3, 'Soyuz MS-12', 3, 'Roscosmos');
SELECT DISTINCT a.name FROM astronauts a INNER JOIN space_missions m ON a.astronaut_id = m.astronaut_id WHERE m.mission_name = 'ISS';