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: Liste os nomes de todos os astronautas que estiveram em uma missão a Marte.
 ###Tabelas: 
CREATE TABLE Astronauts (id INT, name VARCHAR(30), nationality VARCHAR(20)); CREATE TABLE MarsMissions (id INT, mission_name VARCHAR(30), astronaut_id INT); INSERT INTO Astronauts (id, name, nationality) VALUES (1, 'Alexei Leonov', 'Russia'); INSERT INTO Astronauts (id, name, nationality) VALUES (2, 'Buzz Aldrin', 'USA'); INSERT INTO MarsMissions (id, mission_name, astronaut_id) VALUES (1, 'Mars Exploration 1', 1); INSERT INTO MarsMissions (id, mission_name, astronaut_id) VALUES (2, 'Mars Exploration 2', 2);
SELECT Astronauts.name FROM Astronauts INNER JOIN MarsMissions ON Astronauts.id = MarsMissions.astronaut_id WHERE MarsMissions.mission_name LIKE '%Mars%';