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: Qual é a temperatura máxima registrada pelo Laboratório de Ciência de Marte em Marte?
 ###Tabelas: 
CREATE TABLE martian_temperatures(id INT, date DATE, temperature FLOAT, lander VARCHAR(255)); INSERT INTO martian_temperatures VALUES (1, '2012-08-06', -10.0, 'Mars Science Laboratory'); INSERT INTO martian_temperatures VALUES (2, '2012-12-15', -5.0, 'Mars Science Laboratory'); INSERT INTO martian_temperatures VALUES (3, '2013-01-03', 0.0, 'Mars Science Laboratory');
SELECT MAX(temperature) FROM martian_temperatures WHERE lander = 'Mars Science Laboratory';