What, if anything, should be done about jihadists?