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: Listar embarcações que chegaram ao PORT001 em janeiro de 2020
 ###Tabelas: 
CREATE TABLE vessels (id VARCHAR(20), name VARCHAR(20)); CREATE TABLE ports (id VARCHAR(20), name VARCHAR(20)); INSERT INTO vessels (id, name) VALUES ('VES002', 'VESSEL002'), ('VES003', 'VESSEL003'); INSERT INTO ports (id, name) VALUES ('POR001', 'PORT001'), ('POR002', 'PORT002'); CREATE TABLE arrivals (vessel_id VARCHAR(20), port_id VARCHAR(20), arrival_date DATE); INSERT INTO arrivals (vessel_id, port_id, arrival_date) VALUES ('VES002', 'POR001', '2020-01-03'), ('VES003', 'POR001', '2020-01-07'), ('VES002', 'POR002', '2019-12-30');
SELECT vessels.name FROM vessels JOIN arrivals ON vessels.id = arrivals.vessel_id JOIN ports ON arrivals.port_id = ports.id WHERE ports.name = 'PORT001' AND arrival_date BETWEEN '2020-01-01' AND '2020-01-31';