Riyadh terminal strike leaves Americans warned, Trump unhappy