May 03, 2023; Washington, District of Columbia, USA; Washington Nationals starting pitcher Jake Irvin (74) is removed from the game by manager Dave Martinez (4) during the fifth inning at Nationals Park.; Mandatory Credit: Brad Mills