I say nuke them all. A small, tactical .5-1 megaton nuke should do the trick.
I think I’m good with that.