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 países lançaram espaçonaves para Marte?
 ###Tabelas: 
CREATE TABLE Spacecraft (name TEXT, mission TEXT, country TEXT, target TEXT);INSERT INTO Spacecraft (name, mission, country, target) VALUES ('Mars 96', 'Mars 96 Mission', 'Russia', 'Mars'); INSERT INTO Spacecraft (name, mission, country, target) VALUES ('Mars Exploration Rover (Spirit)', 'MER-A Mission', 'USA', 'Mars');
SELECT DISTINCT country FROM Spacecraft WHERE target = 'Mars';