Was the Red Card to Johnny Russell correctly given