If an employee reports an incident of harassment, it is your duty as an employer to address it. If an intervention by HR fails to put a stop to it, you should inform the employee being harassed about what their options are and pledge your support for them.