TAC Nukes would do the job as would SADM.
We should have nuked Abbottobad for harboring Bin Laden, too.
I say pull out of the middle east completely. Let the ISIS and Iran duke it out for control of the stink pile, including the royal family of SA.
After they have established their so called governments with capitals or governments then tactical nuke each and every one at exactly the same moment. Killing all their leaders and secondarily nuke their military installations and hour later.
If the message is not recognized by the camel f’ers then send them seconds a couple of days later.
Collateral damage be damned, I am sick of us spilling another drop of our blood or another cent of our money.