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 únicos de todas as espaçonaves que estiveram em Marte?
 ###Tabelas: 
CREATE TABLE spacecrafts (spacecraft_id INT, name VARCHAR(100), destination VARCHAR(50)); INSERT INTO spacecrafts (spacecraft_id, name, destination) VALUES (1, 'Mariner 4', 'Mars'), (2, 'Viking 1', 'Mars'), (3, 'Mars Pathfinder', 'Mars'), (4, 'Mars Global Surveyor', 'Mars'), (5, 'Mars Reconnaissance Orbiter', 'Mars'), (6, 'Phoenix', 'Mars');
SELECT DISTINCT name FROM spacecrafts WHERE destination = 'Mars';