King Khalid International Airport in Riyadh: designation of Terminal 2 for international flights through Saudi companies.