Washington Nationals v Cincinnati Reds (05/07/2023)