CREATE TABLE table_name_80 (icao VARCHAR(255), country VARCHAR(255))
What is the ICAO for the destination in Armenia?
    
SQL: SELECT icao FROM table_name_80 WHERE country = "armenia"