关于coronavirus 的种族歧视，要不要向HR 报告

组里有个近五十岁的白人老光棍，平时就是整天嘻嘻哈哈，到处和人开玩笑，倒是也挺随和。今天组里另外一个越南华人，正在戴着耳机开会，他过去拍了一下他，然后夸张的说 oh, no, I touched coronavirus, I touched this Chinaman. 我坐在隔一排的格子间里，听到后简直不敢相信。第一次在工作场合听到这么offensive 的话。后来我问了那个越南华裔，他说戴着耳机，什么也没听见。我跟他说了，他说别理他就完了。他俩平时倒是很熟，经常聊天玩笑什么的。也不建议我去报告HR. 听听大家意见，我要不要报告？