Home Sports Was that ‘fun’? How Gauff’s tough US Open embodies what word means