San Diego Padres vs Texas Rangers (30/07/2023)