Roman legions would execute every 10th man as collective punishment. Kept the survivors in line. No idea if it ever actually happened.

It is something that occured a few times in Roman history.

A collective punishment, 10% of the soldiers killed by their peers, randomly choosen.