Sep 12, 2024; Washington, District of Columbia, USA; Washington Nationals manager Dave Martinez (4) walks to the pitcher's mound to make a pitching change against the Miami Marlins during the seventh inning at Nationals Park.; Mandatory Credit: Geoff Burke