"Jihadi John", bourreau de l'EI, ciblé par un raid américain