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