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 são os nomes dos navios de pesquisa operando na Fossa das Marianas?
 ###Tabelas: 
CREATE TABLE research_vessels (id INT, name TEXT, operation_area TEXT); INSERT INTO research_vessels (id, name, operation_area) VALUES (1, 'RV Dong Fang Hong 2', 'Mariana Trench'); INSERT INTO research_vessels (id, name, operation_area) VALUES (2, 'RRS James Cook', 'Atlantic Ocean');
SELECT name FROM research_vessels WHERE operation_area = 'Mariana Trench';