Judas pressed the pursuit vigorously, putting the sinners to the sword and destroying as many as thirty thousand men.