It comes after the armed group hit Riyadh's international airport and another facility, killing 13 people, in a significant escalation.

Read the complete, original reporting at BBC News for the full story, additional context and any updates.