What is the ICAO for the destination in Armenia?
CREATE TABLE table_name_80 (icao VARCHAR, country VARCHAR)
SELECT icao FROM table_name_80 WHERE country = "armenia"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_80 (icao VARCHAR, country VARCHAR) Question: What is the ICAO for the destination in Armenia? [/INST] SELECT icao FROM table_name_80 WHERE country = "armenia" </s>