US embassy in Riyadh: aware of assault on King Khalid International Airport in Riyadh on October 10