EEUU lanza un ataque en Siria contra "Jihadi John", miembro del grupo Estado Islámico