Турнир серии "Челленджер" - "Пальмес дель Мар (Пуэрто-Рико) 2023"   •   Пуэрто-Рико, Пальмес дель Мар   •   1/2 финала, мужчины