Anonymous wrote:I think you are considerate to be concerned about the other women he works with but unless they come to you or report an issue I don't think you should open that can of worms.
OP here. Thanks PPs. I am going to reach out to my friends in HR and see what I can't find out about the process. We also have an ombudsman which might be a better place to start, as opposed to a formal HR complaint. Thanks for that idea.
My concern with the other women is that I don't want this to be a situation where we don't report, or delay reporting and it turns out they were also being harassed. This office is in a country where hierarchy is important so if it is happening to them, they are likely to keep it to themselves. It is more likely to be reported in DC.