The 2023 champion’s miserable year was capped by a tie-breaker loss to the Dutchman.