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 população da "Tartaruga Verde" na tabela "espécies" para o Oceano Atlântico
 ###Tabelas: 
CREATE TABLE species (id INT PRIMARY KEY, name VARCHAR(255), population INT, habitat VARCHAR(255));
WITH updated_population AS (UPDATE species SET population = 8500 WHERE name = 'Green Sea Turtle' AND habitat = 'Atlantic Ocean') SELECT * FROM updated_population;