Trump’s Revised Travel Ban is Just One of Many Good Developments in the War against Jihadists