Judas also was very earnest in pursuing them, killing those wicked wretches, of whom he slew about thirty thousand men.
Judas pressed the pursuit relentlessly, cutting down these wicked men, killing about thirty thousand of them.
