Cincinnati Open: Tommy Paul vs Adolfo Vallejo