What should happen to the coach alleged to have tripped a player?