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: Atualize a profundidade do habitat para um registro específico de Coral na tabela marine_life.
 ###Tabelas: 
CREATE TABLE marine_life (id INT, marine_life_type VARCHAR(255), habitat_depth FLOAT); INSERT INTO marine_life (id, marine_life_type, habitat_depth) VALUES (1, 'Coral', 10.0), (2, 'Anglerfish', 5000.0);
UPDATE marine_life SET habitat_depth = 12.0 WHERE id = 1;