Have them formally reprimanded for their history of threatening behaviour, then fire their ass if they can't heed the warning.
If you wait until he actually throws a punch (or a trash can) at someone, then your sane co-workers will be angry you didn't do something while the writing was on the wall.