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 é o código IATA quando a cidade é Trípoli?
 ###Tabelas: CREATE TABLE list_of_duronto_express_trains (list_of_duronto_express_trains_id AUTO_INCREMENT PRIMARY KEY, Service INT, Train number INT, Train name VARCHAR, Source VARCHAR, Departure VARCHAR, Destination VARCHAR, Arrival VARCHAR) CREATE TABLE teams_and_venues (teams_and_venues_id AUTO_INCREMENT PRIMARY KEY, Team VARCHAR, Location VARCHAR, Venue VARCHAR, Capacity INT, Position in 1996 VARCHAR) CREATE TABLE western_conference_quarter-finals_vs._6_calgary_flames (western_conference_quarter-finals_vs._6_calgary_flames_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Visitor VARCHAR, Score VARCHAR, Home VARCHAR, Decision VARCHAR, Series VARCHAR) CREATE TABLE habitual_irish_speakers (habitual_irish_speakers_id AUTO_INCREMENT PRIMARY KEY, County VARCHAR, English name VARCHAR, Irish name VARCHAR, Population INT, Irish speakers VARCHAR) CREATE TABLE destinations (destinations_id AUTO_INCREMENT PRIMARY KEY, City VARCHAR, Country VARCHAR, IATA VARCHAR, ICAO VARCHAR, Airport VARCHAR)  
SELECT IATA FROM destinations WHERE City = tripoli