There are far far more Al Qaeda fighters, 10’s of 1000’s more than that in Afghanistan and Pakistan. There are Islamist Jihadists on the African Continent by the 10’s of 1000’s. They are in the Philippines, India, Indonesia, Yemen, Quatar, etc...what about them?
What should we do about all of those Jihadists all of whom have the same Jihadist goals? Should we re-institute the draft and ask Congress to declare war on all of them in all of those countries? 700+ is not our concern. They are the problem of the locals. Let them deal with them as they see fit.
Instead of useless sanctions how about we pull USA troops and missiles out of Turkey. Or is Trump less interested in getting out of the region and more interested in bowing down to Erdogan? Like he did with North Korea and the Saudis?