Jun 04, 2023; Washington, District of Columbia, USA; Washington Nationals manager Dave Martinez (4) removes starting pitcher Trevor Williams (32) from the game during the sixth inning against the Philadelphia Phillies at Nationals Park.; Mandatory Credit: Brad Mills