Temporary suspension of operational activity at King Khalid International Airport following an attack