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