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