Puerto Rico vs. Mexico in World Baseball Classic 2023 quarterfinals