Cincinnati Reds mascot Mr. Red performs during a baseball game against the Arizona Diamondbacks, Sunday, June 8, 2025, in Cincinnati. (AP Photo/Jeff Dean) ...