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: Encontre a velocidade média das embarcações viajando para o Porto F nos primeiros 15 dias de cada mês em 2019.
 ###Tabelas: 
CREATE TABLE Vessels (id INT, name TEXT, speed FLOAT, arrive_port TEXT, arrive_date DATE); INSERT INTO Vessels (id, name, speed, arrive_port, arrive_date) VALUES (1, 'Vessel1', 25.5, 'Port F', '2019-01-05'); INSERT INTO Vessels (id, name, speed, arrive_port, arrive_date) VALUES (2, 'Vessel2', 29.0, 'Port F', '2019-02-12');
SELECT arrive_port, AVG(speed) FROM Vessels WHERE arrive_port = 'Port F' AND DATE_TRUNC('month', arrive_date) = DATE_TRUNC('month', arrive_date - INTERVAL '15 days') AND EXTRACT(YEAR FROM arrive_date) = 2019 GROUP BY arrive_port;