How to Shorten the War Against ISIS