Should the U.S. target “Jihadi John” ?