If I knew who you were and what company you worked for, I’D report that to HR. If that ever happened at my office I’d fire the guy without even consulting HR. I’d confiscate his stuff and walk him out the door, HR can clean up the mess.
If there was one hint of retaliation by another employee, I’d fire them on the spot. If there is any hr or manager retaliation to you, you call a lawyer. You’ll be paid extremely well.
The situation you described is so black and white in your favor - your management and hr department should be quaking in their boots that you don’t sue.