Cincinnati Reds v San Diego Padres (02/07/2023)