Will Taylor Fritz beat Rafael Jodar to win the Washington ATP men's singles title?

🤖 Context

YES if the official match result for the ATP Washington men's singles final lists Taylor Fritz as the winner and tournament champion, otherwise NO. The official result as recorded by the ATP Tour or the tournament's official website will be used. If the final is decided by retirement, walkover, default, or disqualification, the player officially awarded the victory by the ATP or the tournament counts as the winner. If the singles final is not played and no champion is declared, the market resolves NO.