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 foram usadas em missões para Júpiter e quantas vezes?
 ###Tabelas: 
CREATE TABLE spacecrafts (id INT, name VARCHAR(50), missions INT);CREATE TABLE jupiter_missions (id INT, spacecraft_id INT, destination VARCHAR(50)); INSERT INTO spacecrafts VALUES (1, 'Juno', 0), (2, 'Galileo', 0); INSERT INTO jupiter_missions VALUES (1, 1, 'Jupiter'), (2, 1, 'Jupiter'), (3, 2, 'Jupiter');
SELECT spacecrafts.name, COUNT(jupiter_missions.id) as jupiter_missions_count FROM spacecrafts INNER JOIN jupiter_missions ON spacecrafts.id = jupiter_missions.spacecraft_id GROUP BY spacecrafts.name HAVING SUM(spacecrafts.missions) = (SELECT COUNT(*) FROM jupiter_missions WHERE jupiter_missions.destination = 'Jupiter');