Donald Trump annonce une opération militaire contre l'État islamique en Syrie