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 número total de satélites lançados pela SpaceX?
 ###Tabelas: 
CREATE TABLE satellites_launched (id INT, company VARCHAR(50), num_satellites INT);INSERT INTO satellites_launched (id, company, num_satellites) VALUES (1, 'SpaceX', 2500);
SELECT SUM(num_satellites) FROM satellites_launched WHERE company = 'SpaceX';