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 da Marte a NASA lançou?
 ###Tabelas: 
CREATE TABLE nasa_mars_rovers (id INT, rover_name TEXT, launch_year INT); INSERT INTO nasa_mars_rovers (id, rover_name, launch_year) VALUES (1, 'Sojourner', 1997), (2, 'Spirit', 2004), (3, 'Opportunity', 2004), (4, 'Curiosity', 2012), (5, 'Perseverance', 2021);
SELECT COUNT(*) FROM nasa_mars_rovers WHERE launch_year IS NOT NULL;