Trois Américains tués dans une attaque attribuée à l'EI en Syrie, Donald Trump promet de riposter