If this happened at an American school it will fall under the formal grievance procedures. I would have filed a formal harassment complaint - which forces him into a very uncomfortable and long process. I would not "drop the charges" just to be a good guy - I would force him to go through the entire unpleasant tedious experience - and insist that this incident be documented in his personnel file.