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: Quantos rovers de Marte foram lançados pela NASA?
 ###Tabelas: 
CREATE TABLE nasa_mars_rovers (id INT, name VARCHAR(255), agency VARCHAR(255)); INSERT INTO nasa_mars_rovers (id, name, agency) VALUES (1, 'Sojourner', 'NASA'), (2, 'Spirit', 'NASA'), (3, 'Opportunity', 'NASA'), (4, 'Curiosity', 'NASA'), (5, 'Perseverance', 'NASA');
SELECT COUNT(*) FROM nasa_mars_rovers WHERE agency = 'NASA';