What to Do About 10,000 Al-Qaeda-Linked Terrorists in Idlib?