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 ICAO é encontrado em Vavuniya?
 ###Tabelas: CREATE TABLE destinations (destinations_id AUTO_INCREMENT PRIMARY KEY, City VARCHAR, Country VARCHAR, IATA VARCHAR, ICAO VARCHAR, Airport VARCHAR) CREATE TABLE itf_singles_finals_19 (itf_singles_finals_19_id AUTO_INCREMENT PRIMARY KEY, Outcome VARCHAR, Date VARCHAR, Tournament VARCHAR, Surface VARCHAR, Opponent in the final VARCHAR, Score VARCHAR) CREATE TABLE list_of_pastoral_regions (list_of_pastoral_regions_id AUTO_INCREMENT PRIMARY KEY, Pastoral Region VARCHAR, Episcopal vicar VARCHAR, Parishes INT, High schools INT, Elementary schools VARCHAR, Cemeteries INT) CREATE TABLE 5401–5500 (5401–5500_id AUTO_INCREMENT PRIMARY KEY, NGC number INT, Object type VARCHAR, Constellation VARCHAR, Right ascension ( J2000 ) VARCHAR, Declination ( J2000 ) VARCHAR, Apparent magnitude INT) CREATE TABLE england_career (england_career_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Venue VARCHAR, Opposition VARCHAR, Att. INT, Result VARCHAR, Goals INT)  
SELECT ICAO FROM destinations WHERE City = vavuniya