20:10 Texas Rangers – San Diego Padres