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 cidade tem o ICAO de LIRF?
 ###Tabelas: CREATE TABLE practice_times__&__leaderboard_superbike_senior_tt (practice_times__&__leaderboard_superbike_senior_tt_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Rider VARCHAR, Mon 1 June VARCHAR, Tue 2 June VARCHAR, Wed 3 June VARCHAR, Thurs 4 June VARCHAR, Fri 5 June VARCHAR) CREATE TABLE technical_specifications (technical_specifications_id AUTO_INCREMENT PRIMARY KEY, Model Type VARCHAR, Model Designation VARCHAR, Engine VARCHAR, Wheelbase (mm/inch) VARCHAR, GVW (kg/ton) VARCHAR, Axle Ratio VARCHAR) CREATE TABLE singles:_37_19–18 (singles:_37_19–18_id AUTO_INCREMENT PRIMARY KEY, Outcome VARCHAR, Date VARCHAR, Tournament VARCHAR, Surface VARCHAR, Opponent in the final VARCHAR, Score in the final VARCHAR) CREATE TABLE e_class (e_class_id AUTO_INCREMENT PRIMARY KEY, Ship VARCHAR, Pennant number VARCHAR, Laid down VARCHAR, Launched VARCHAR, Completed VARCHAR) CREATE TABLE current_destinations (current_destinations_id AUTO_INCREMENT PRIMARY KEY, City VARCHAR, Country VARCHAR, IATA VARCHAR, ICAO VARCHAR, Airport VARCHAR)  
SELECT City FROM current_destinations WHERE ICAO = lirf