Either that, or just turn the whole thing into a sea of glass and move on.
“We” are not there just for the heck of it. Norway gets natural gas there, Spain gets half of its natural gas from Algeria, and in fact the normal people in Algeria rely on this industry. All of these things are tied into the global economy, which even affects us over here.
So essentially a band of crazed 7th century goons with 21st century arms is ruining things way beyond their local scope of destruction. They can’t be allowed to take over.
I vote for your second option.