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 é o valor de financiamento para o projeto de 'Restauração de Recifes de Coral'?
 ###Tabelas: 
CREATE TABLE marine_research_funding (id INT PRIMARY KEY, project_name VARCHAR(255), organization VARCHAR(255), start_date DATE, end_date DATE, budget FLOAT); INSERT INTO marine_research_funding (id, project_name, organization, start_date, end_date, budget) VALUES (2, 'Coral Reef Restoration', 'National Marine Fisheries Service', '2022-07-01', '2025-06-30', 8000000.00);
SELECT budget FROM marine_research_funding WHERE project_name = 'Coral Reef Restoration';