Texas Rangers vs Cincinnati Reds (11/03/2023)