關於coronavirus 的種族歧視，要不要向HR 報告

組裏有個近五十歲的白人老光棍，平時就是整天嘻嘻哈哈，到處和人開玩笑，倒是也挺隨和。今天組裏另外一個越南華人，正在戴著耳機開會，他過去拍了一下他，然後誇張的說 oh, no, I touched coronavirus, I touched this Chinaman. 我坐在隔一排的格子間裏，聽到後簡直不敢相信。第一次在工作場合聽到這麽offensive 的話。後來我問了那個越南華裔，他說戴著耳機，什麽也沒聽見。我跟他說了，他說別理他就完了。他倆平時倒是很熟，經常聊天玩笑什麽的。也不建議我去報告HR. 聽聽大家意見，我要不要報告？