The king's army vanquished the rebels.