Was the jockey who punched a horse adequately punished?