May 21, 2023; Washington, District of Columbia, USA; Washington Nationals relief pitcher Andres Machado (57) is removed from the game by manager Dave Martinez (4) during the sixth inning against the Detroit Tigers at Nationals Park.; Mandatory Credit: Brad Mills