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 que atracaram no Porto de Miami em maio de 2022 e também atracaram no Porto de Key West em junho de 2022?
 ###Tabelas: 
CREATE TABLE port_of_miami (vessel_name VARCHAR(255), dock_month INT); CREATE TABLE port_of_key_west (vessel_name VARCHAR(255), dock_month INT); INSERT INTO port_of_miami (vessel_name, dock_month) VALUES ('Vessel LL', 5), ('Vessel MM', 5), ('Vessel NN', 6); INSERT INTO port_of_key_west (vessel_name, dock_month) VALUES ('Vessel MM', 6), ('Vessel NN', 6), ('Vessel OO', 7);
SELECT m.vessel_name FROM port_of_miami m WHERE m.dock_month = 5 INTERSECT SELECT k.vessel_name FROM port_of_key_west k WHERE k.dock_month = 6;