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 agências espaciais lançaram missões para Marte?
 ###Tabelas: 
CREATE TABLE space_mars_missions (agency VARCHAR(50), mission VARCHAR(50), year INTEGER); INSERT INTO space_mars_missions (agency, mission, year) VALUES ('NASA', 'Mars Pathfinder', 1997), ('NASA', 'Mars Global Surveyor', 1997), ('ISAS', 'Nozomi', 1998), ('NASA', 'Mars Climate Orbiter', 1999), ('NASA', 'Mars Polar Lander', 1999), ('NASA', 'Mars Odyssey', 2001), ('ESA', 'Mars Express', 2003), ('Beagle Consortium', 'Beagle 2', 2003), ('NASA', 'Mars Reconnaissance Orbiter', 2006), ('NASA', 'Phoenix', 2008), ('NASA', 'Mars Science Laboratory', 2012), ('NASA', 'Mars Atmosphere and Volatile Evolution', 2013), ('NASA', 'MAVEN', 2014), ('ESA', 'ExoMars Trace Gas Orbiter', 2016), ('NASA', 'InSight', 2018), ('UAE Space Agency', 'Hope Mars Mission', 2021), ('CNSA', 'Tianwen-1', 2021);
SELECT agency FROM space_mars_missions GROUP BY agency;