Washington Nationals vs Texas Rangers (08/07/2023)