Should the U.S. target Jihadi John?