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

This story was reported by BBC News. Read the full coverage at BBC News.