I like that you did not rush in, hoping they could sort it out first. With a lifetime of skirmishes ahead, best to figure it out early. Too bad the other boy didn’t seem to get the lesson and too bad his mom did not pull him aside to teach him.
I think you did your best. And no, you cannot pummel him next time.:)