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: Qual é a velocidade máxima em nós para os navios que atracaram no porto de Tóquio em julho de 2021?
 ###Tabelas: 
CREATE TABLE Vessels(Id INT, Name VARCHAR(255), AverageSpeed DECIMAL(5,2)); CREATE TABLE DockingHistory(Id INT, VesselId INT, Port VARCHAR(255), DockingDateTime DATETIME); INSERT INTO Vessels VALUES (1, 'VesselA', 15.5), (2, 'VesselB', 18.3), (3, 'VesselC', 20.2); INSERT INTO DockingHistory VALUES (1, 1, 'Tokyo', '2021-07-05 12:00:00'), (2, 1, 'Tokyo', '2021-07-31 15:00:00'), (3, 2, 'Tokyo', '2021-07-10 09:00:00'), (4, 3, 'Tokyo', '2021-07-15 18:00:00');
SELECT MAX(v.AverageSpeed) FROM Vessels v INNER JOIN DockingHistory dh ON v.Id = dh.VesselId WHERE dh.Port = 'Tokyo' AND YEAR(dh.DockingDateTime) = 2021 AND MONTH(dh.DockingDateTime) = 7;