Assaults should not be tolerated on anyone and cruiselines should take action whenever it occurs. This is the first time I have heard of it not being done. I will not dispute what you are saying if it is first-hand knowledge and I don't think the others are, they did not know that you apparently witnessed this incident. Nobody here will condone physical attacks on others.
Jim