FILE - Former Cincinnati Reds player Pete Rose waves to fans after being introduced during the Reds Hall of Fame Induction Ceremony, July 15, 2023, in Cincinnati. (AP Photo/Darron Cummings, File)