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 é o custo total de todas as missões de exploração espacial lideradas pelo governo dos EUA?
 ###Tabelas: 
CREATE TABLE SpaceExplorationMissions (mission_id INT, name VARCHAR(50), leading_agency VARCHAR(50), cost FLOAT); INSERT INTO SpaceExplorationMissions (mission_id, name, leading_agency, cost) VALUES (1, 'Mission1', 'US Government', 1000), (2, 'Mission2', 'US Government', 2000), (3, 'Mission3', 'Other Agency', 1500);
SELECT SUM(cost) as total_cost FROM SpaceExplorationMissions WHERE leading_agency = 'US Government'