Saudi civil aviation authority said on Oct. 9 Riyadh’s King Khalid International
Airport was hit multiple times on Oct. 8; two of the attacks killed three Saudi
nationals and left several others injured. The authority said the airport has
resumed operations and air traffic is back to normal. A state-owned airline said
one of its aircraft was damaged at King Khalid on Oct. 8; there were no
passengers on board, and the carrier reported one employee killed.