If option 1 and 2 are bad, take option 3.  Now for some option 3 means walk away from the whole mess and let them kill each other, just keep them contained to their own area.  For others option 3 means bombing them all and letting God sort them out.  Honestly, after 15-16 years of Islamic terrorism making a mess of things (probably more, but I'm going off the 9/11 attack date), I don't know which option 3 is better. Or even if there is an option 4 out there somewhere that won't leave a bad taste in our mouths. There comes a time when we just have to say enough is enough.