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: Quantas espaçonaves fizeram parte de missões espaciais para Marte?
 ###Tabelas: 
CREATE TABLE Spacecraft (SpacecraftID INT, Name VARCHAR(50), Manufacturer VARCHAR(50));CREATE TABLE SpaceMissions (MissionID INT, SpacecraftID INT, Name VARCHAR(50), Destination VARCHAR(50)); INSERT INTO Spacecraft (SpacecraftID, Name, Manufacturer) VALUES (1, 'Spirit', 'NASA'), (2, 'Curiosity', 'NASA'), (3, 'Perseverance', 'NASA'); INSERT INTO SpaceMissions (MissionID, SpacecraftID, Name, Destination) VALUES (1, 1, 'Mars Pathfinder', 'Mars'), (2, 2, 'Mars Science Laboratory', 'Mars'), (3, 3, 'Mars 2020', 'Mars');
SELECT COUNT(s.SpacecraftID) FROM Spacecraft s INNER JOIN SpaceMissions sm ON s.SpacecraftID = sm.SpacecraftID WHERE sm.Destination = 'Mars';