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 espaçonaves exploraram Vênus?
 ###Tabelas: 
CREATE TABLE Spacecraft (name TEXT, mission TEXT, target TEXT);INSERT INTO Spacecraft (name, mission, target) VALUES ('Magellan', 'Magellan Venus Mission', 'Venus'); INSERT INTO Spacecraft (name, mission, target) VALUES ('Venera 13', 'Venera 13 Mission', 'Venus');
SELECT DISTINCT name FROM Spacecraft WHERE target = 'Venus';