to exterminate or destroy (bandits or rebels)