King Khalid International Airport in Riyadh: Terminal 1 designated for domestic flights

Machine translation of an attributed source excerpt. Consult the original report to verify details. Translated from original reporting in another language.