Cincinnati Reds vs. Miami Marlins - July 09, 2025