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 e orbitadores de Marte lançados pela NASA?
 ###Tabelas: 
CREATE TABLE mars_rovers (id INT, name VARCHAR(50), type VARCHAR(50), agency VARCHAR(50), launch_date DATE); INSERT INTO mars_rovers (id, name, type, agency, launch_date) VALUES (1, 'Spirit', 'Rover', 'NASA', '2003-06-10'); INSERT INTO mars_rovers (id, name, type, agency, launch_date) VALUES (2, 'Mars Reconnaissance Orbiter', 'Orbiter', 'NASA', '2005-08-12');
SELECT COUNT(*) FROM mars_rovers WHERE agency = 'NASA' AND (type = 'Rover' OR type = 'Orbiter');