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: Liste os nomes de todos os rovers de Marte lançados pela NASA.
 ###Tabelas: 
CREATE TABLE mars_rovers (name VARCHAR(50), launch_year INT, agency VARCHAR(50));INSERT INTO mars_rovers (name, launch_year, agency) VALUES ('Sojourner', 1997, 'NASA'), ('Spirit', 2004, 'NASA'), ('Opportunity', 2004, 'NASA'), ('Curiosity', 2012, 'NASA'), ('Perseverance', 2021, 'NASA');
SELECT name FROM mars_rovers WHERE agency = 'NASA';