What to do when an employee threatens violence

Q. I work in the HR area at my company and just learned that an employee who is experiencing some personal problems is now having performance problems at work. I also learned the employee has made threats about hurting his boss and a certain co-worker. What should I do? ...