Washington Nationals' Lane Thomas watches his home run during the third inning of a baseball game against the Miami Marlins at Nationals Park, Saturday, June 15, 2024, in Washington. (AP Photo/Jacquelyn Martin)
Washington Nationals' Lane Thomas is congratulated by teammates after hitting a home run during the third inning of a baseball game against the Miami Marlins at Nationals Park, Saturday, June 15, 2024, in Washington. (AP Photo/Jacquelyn Martin)
Washington Nationals' Lane Thomas is congratulated by teammates after hitting a home run during the third inning of a baseball game against the Miami Marlins at Nationals Park, Saturday, June 15, 2024, in Washington. (AP Photo/Jacquelyn Martin)
Washington Nationals' pitcher DJ Herz (74) throws during the third inning of a baseball game against the Miami Marlins at Nationals Park, Saturday, June 15, 2024, in Washington. (AP Photo/Jacquelyn Martin)
Miami Marlins pitcher Trevor Rogers (28) pitches against the Washington Nationals during the first inning of a baseball game at Nationals Park, Saturday, June 15, 2024, in Washington. (AP Photo/Jacquelyn Martin)
Washington Nationals' Luis Garcia Jr. (2), celebrates after hitting a double the third inning of a baseball game against the Miami Marlins at Nationals Park, Saturday, June 15, 2024, in Washington. (AP Photo/Jacquelyn Martin)