Wow. It’s unacceptable. I don’t think any kind of training would be helpful. Those trainings usually a waste of time. She needs to be disciplined. Now if your boss does nothing go to the one above him and HR. Diversity department is a good place to go to but personally I’ve been to a million diversity meetings and PDs and it won’t make someone more tactful.