EE.UU. realizó un ataque aéreo en Siria contra "Jihadi John", verdugo del Estado Islámico