I (f) got into an argument with a male coworker the other day and he hit me with a door and then proceeded to get into my face a scream at me. I didn't handle that well at all due to my history with domestic violence. Well, my company christmas party is today and I decided not to go (for obvious reasons) and met with a coworker yesterday, in a back lot at work, to avoid and conflict, to give her the boss' present and 20min after I left work I started receiving some creepy texts from a texting app telling me I need to think twice about being sneaky. I asked them who they were and they said just know.... I'm freaking out right now because he can easily look up my address to where I live. I'm pretty confident it was the coworker I had the altercation with because I don't have any issues with everyone and the only place I went yesterday was to drop off that present.  My anxiety is through the roof. Should I contact the police? What would you do?

Tldr; I'm a female and a male coworker and I got into an argument the other day and now I'm getting creepy texts from an unknown number. My anxiety is through the roof, please help me :*(