Washington Nationals - Texas Rangers (07/07/2023)