An HR person who understands the larger risk to the org would recommend termination. Again, HR doesn’t make the decision but the recommendation would be the same for both employees. Because why add a discrimination issue on top of a harassment issue? Much easier and less risky to treat every case the same.