I've sometimes thought that because bullying also takes place in workplaces and adult life that it would be best to let a child learn to overcome the stress of being bullied. I think that physical altercations go way past bullying though. I was often mocked and made fun of as a child but I was never in a physical confrontation.

I think that this situation is past letting the child resolve it on his own. I think that it is time for parental intervention. I would likely take it to 1) the principal 2) the officer's boss 3) the bully's parents. At each step I would inform them that I intended to take the story to the media and/or the court if it was not corrected.

My kids are still young but we homeschool so I don't anticipate that bullying will be much of an issue.