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 implantados pela NASA?
 ###Tabelas: 
CREATE TABLE mars_rovers (id INT, rover_name VARCHAR(50), agency VARCHAR(50), status VARCHAR(20)); INSERT INTO mars_rovers (id, rover_name, agency, status) VALUES (1, 'Spirit', 'NASA', 'decommissioned'), (2, 'Opportunity', 'NASA', 'decommissioned'), (3, 'Curiosity', 'NASA', 'active');
SELECT COUNT(*) FROM mars_rovers WHERE agency = 'NASA';