Miami Marlins outfielder Nick Gordon, right, catches a fly ball hit by Texas Rangers' Josh Smith (not shown) during the eighth inning of a baseball game, Saturday, June 1, 2024, in Miami. (AP Photo/Michael Laughlin)
Texas Rangers' Adolis García, center, and Robbie Grossman (4) react after scoring against the Miami Marlins during the ninth inning of a baseball game, Saturday, June 1, 2024, in Miami. (AP Photo/Michael Laughlin)
Miami Marlins catcher Johnny Pereda, right, forces out Texas Rangers' Marcus Semien, left, during the ninth inning of a baseball game, Saturday, June 1, 2024, in Miami. (AP Photo/Michael Laughlin)
Texas Rangers shortstop Corey Seager (5) throws to first base after forcing out Miami Marlins' Bryan De La Cruz (14) during the first inning of a baseball game, Saturday, June 1, 2024, in Miami, Fla. (AP Photo/Michael Laughlin)
From left to right, Texas Rangers' Nathaniel Lowe, Leody Taveras, Josh Smith and Adolis García celebrate after defeating the Miami Marlins in a baseball game, Saturday, June 1, 2024, in Miami. (AP Photo/Michael Laughlin)
Miami Marlins manager Skip Schumaker, top, watches his team play the Texas Rangers during the ninth inning of a baseball game, Saturday, June 1, 2024, in Miami. (AP Photo/Michael Laughlin)
Miami Marlins pitcher Huascar Brazoban (31) steps on home plate as Marlins catcher Johnny Pereda, front right, steps aside to force out Texas Rangers' Corey Seager, bottom, during the ninth inning of a baseball game, Saturday, June 1, 2024, in Miami. (AP Photo/Michael Laughlin)
Texas Rangers pitcher Michael Lorenzen throws during the first inning of a baseball game against the Miami Marlins, Saturday, June 1, 2024, in Miami, Fla. (AP Photo/Michael Laughlin)
Miami Marlins pitcher Ryan Weathers throws during the second inning of a baseball game against the Texas Rangers, Saturday, June 1, 2024, in Miami, Fla. (AP Photo/Michael Laughlin)