You should see/talk to your PD to see if this will affect your son mentally. Your PD will become a "witness" for the incidence.
This kind of behavior should be stopped. You probably won't get any benefit from filing complaint and etc.. However, you are doing a right thing to prevent this happens to other kids.