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 marinha para Middleton com um porto de origem de Portsmouth após 1983?
 ###Tabelas: CREATE TABLE current_fleet_details (current_fleet_details_id AUTO_INCREMENT PRIMARY KEY, Class VARCHAR, Operator VARCHAR, No. Built INT, Year Built VARCHAR, Cars per Set INT, Unit nos. VARCHAR) CREATE TABLE ships (ships_id AUTO_INCREMENT PRIMARY KEY, Navy VARCHAR, Name VARCHAR, Pennant VARCHAR, Commissioned INT, Home port VARCHAR) CREATE TABLE 1971_isle_of_man_senior_tt_500cc_final_standings (1971_isle_of_man_senior_tt_500cc_final_standings_id AUTO_INCREMENT PRIMARY KEY, Place INT, Rider VARCHAR, Country VARCHAR, Machine VARCHAR, Speed VARCHAR, Time VARCHAR, Points INT) CREATE TABLE track_listing_cd (track_listing_cd_id AUTO_INCREMENT PRIMARY KEY, Track INT, Song VARCHAR, Author VARCHAR, Worship Leader VARCHAR, Lead Supporting Vocal VARCHAR, Time VARCHAR) CREATE TABLE 5001–5100 (5001–5100_id AUTO_INCREMENT PRIMARY KEY, NGC number INT, Object type VARCHAR, Constellation VARCHAR, Right ascension ( J2000 ) VARCHAR, Declination ( J2000 ) VARCHAR, Apparent magnitude INT)  
SELECT Navy FROM ships WHERE Home port = portsmouth AND Commissioned > 1983 AND Name = middleton