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 rovers de Marte implantados pela NASA?
 ###Tabelas: 
CREATE TABLE mars_rovers (name TEXT, agency TEXT); INSERT INTO mars_rovers (name, agency) VALUES ('Sojourner', 'NASA'), ('Spirit', 'NASA'), ('Opportunity', 'NASA'), ('Curiosity', 'NASA');
SELECT COUNT(*) FROM mars_rovers WHERE agency = 'NASA';