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: Qual é a velocidade média de todas as espaçonaves que viajaram para Marte?
 ###Tabelas: 
CREATE TABLE Spacecraft (id INT, name VARCHAR(50), launch_date DATE, max_speed FLOAT); INSERT INTO Spacecraft (id, name, launch_date, max_speed) VALUES (1, 'Mars Reconnaissance Orbiter', '2005-08-12', 9.63);
SELECT AVG(max_speed) FROM Spacecraft WHERE name IN ('Mars Reconnaissance Orbiter', 'Perseverance Rover', 'Curiosity Rover', 'Spirit Rover', 'Opportunity Rover');