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: Quantas missões para Marte foram lançadas pela NASA?
 ###Tabelas: 
CREATE TABLE mars_missions (id INT, name VARCHAR(50), agency VARCHAR(50), year INT); INSERT INTO mars_missions (id, name, agency, year) VALUES (1, 'Mariner 4', 'NASA', 1964); INSERT INTO mars_missions (id, name, agency, year) VALUES (2, 'Viking 1', 'NASA', 1975); INSERT INTO mars_missions (id, name, agency, year) VALUES (3, 'Phoenix', 'NASA', 2007);
SELECT COUNT(*) FROM mars_missions WHERE agency = 'NASA';