It’s Monday, July 7 and the Marlins (40-48) are in Cincinnati to take on the Reds (46-44). Janson Junk is slated to take the mound for Miami against Brady Singer for Cincinnati.

In being named to the 2025 All-Star Game in Atlanta (July 15, 8 p.m.), De La Cruz joins a long list of Reds to make multiple All-Star Game appearances. It's a list that starts with Ernie Lombardi, who became a repeat Reds All-Star when he made his Midsummer Classic appearance in 1937.