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: Liste os nomes dos navios que visitaram Tóquio e Osaka no Japão?
 ###Tabelas: 
CREATE TABLE Port (port_id INT PRIMARY KEY, port_name VARCHAR(255), port_country VARCHAR(255)); INSERT INTO Port (port_id, port_name, port_country) VALUES (3, 'Tokyo', 'Japan'), (4, 'Osaka', 'Japan'); CREATE TABLE Vessel (vessel_id INT PRIMARY KEY, vessel_name VARCHAR(255)); CREATE TABLE Vessel_Movement (vessel_id INT, movement_date DATE, port_id INT, PRIMARY KEY (vessel_id, movement_date));
SELECT DISTINCT V.vessel_name FROM Vessel V JOIN Vessel_Movement VM ON V.vessel_id = VM.vessel_id JOIN Port P ON VM.port_id = P.port_id WHERE P.port_name IN ('Tokyo', 'Osaka') AND P.port_country = 'Japan';