Oklahoma horse mascot in a sea of red fans