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: Quais são os nomes das missões a Marte pela ISRO?
 ###Tabelas: 
CREATE TABLE mars_mission (name VARCHAR(50), launch_year INT, agency VARCHAR(50));INSERT INTO mars_mission (name, launch_year, agency) VALUES ('Mangalyaan', 2013, 'ISRO');
SELECT name FROM mars_mission WHERE agency = 'ISRO';