Have you done any research on what your options are?

I'm not familiar enough with the circumstances to know whether the poster in question's behavior would be considered stalking, or harrassment. But there are options available to you if you trace the IP, report user's behavior to their ISP, and urge their provider to rattle their users chains at the least, or possibly get their account yanked?