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: Quais mamíferos marinhos são encontrados no Ártico e têm um tamanho populacional maior que 5000?
 ###Tabelas: 
CREATE TABLE marine_mammals (mammal_id INT, name VARCHAR(50), population INT, habitat VARCHAR(50)); INSERT INTO marine_mammals (mammal_id, name, population, habitat) VALUES (1, 'Polar Bear', 25000, 'Arctic'), (2, 'Walrus', 19000, 'Arctic');
SELECT name FROM marine_mammals WHERE habitat = 'Arctic' AND population > 5000;