And then nuke it from orbit (which is what we should have done on September 12, 2001.)
Reduce to a minimum presence (embassy staff and intelligence) and drop inexpensive bombs from drones.
Gee, I was saying that only two hours ago. Should have hit Mecca, Ridayh, Damascus, Baghdad, Tehran, Tripoli, southern Philippines, northern Sudan, northern Nigeria, Chechnia and Tirrane on 9/11.
Look at the military lives lost and the money squandered.