![Jacquelyn Martin 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)](https://mapi.associatedpress.com/v2/items/65c545a013624c0ebee40b337bcbffbe/preview/preview.jpg?s=680x)
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)
![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)](https://mapi.associatedpress.com/v2/items/8ef9f3e49b574065b858290642b71c22/preview/preview.jpg?s=680x)
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)
![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)](https://mapi.associatedpress.com/v2/items/b775bbbc6cdd47da80e55fed7e722a7e/preview/preview.jpg?s=680x)
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)
![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)](https://mapi.associatedpress.com/v2/items/cb110aedbf154be2b5468b0867fdf9ae/preview/preview.jpg?s=680x)
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)
![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)](https://mapi.associatedpress.com/v2/items/0456c23bb28e4abcaa1de6cb403542ee/preview/preview.jpg?s=680x)
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)
![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)](https://mapi.associatedpress.com/v2/items/a6e68e0839524cf9bac0dd671eabe164/preview/preview.jpg?s=680x)
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)