Roberto Bautista-Agut vs Pedro Cachin (20/07/2023)