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 de todas as missões de Marte que falharam?
 ###Tabelas: 
CREATE TABLE mars_missions_status (mission VARCHAR(50), year INTEGER, status VARCHAR(50)); INSERT INTO mars_missions_status (mission, year, status) VALUES ('Mars Pathfinder', 1997, 'Completed'), ('Mars Global Surveyor', 1997, 'Completed'), ('Nozomi', 1998, 'Failed'), ('Mars Climate Orbiter', 1999, 'Failed'), ('Mars Polar Lander', 1999, 'Failed'), ('Mars Odyssey', 2001, 'Operational'), ('Mars Express', 2003, 'Operational'), ('Beagle 2', 2003, 'Failed'), ('Mars Reconnaissance Orbiter', 2006, 'Operational'), ('Phoenix', 2008, 'Completed'), ('Mars Science Laboratory', 2012, 'Operational'), ('Mars Atmosphere and Volatile Evolution', 2013, 'Operational'), ('MAVEN', 2014, 'Operational'), ('ExoMars Trace Gas Orbiter', 2016, 'Operational'), ('InSight', 2018, 'Operational'), ('Hope Mars Mission', 2021, 'Operational'), ('Tianwen-1', 2021, 'Operational');
SELECT mission FROM mars_missions_status WHERE status = 'Failed';