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: Listar todos os recifes de coral no Mar Vermelho.
 ###Tabelas: 
CREATE TABLE coral_reefs (id INT, name TEXT, location TEXT, ocean TEXT); INSERT INTO coral_reefs (id, name, location, ocean) VALUES (1, 'Eilat Coral Reef Reserve', 'Red Sea', 'Red'), (2, 'Ras Mohammed National Park', 'Red Sea', 'Red');
SELECT * FROM coral_reefs WHERE ocean = 'Red';