Prediction market on manifold. Resolves Yes if he wins it. No if he retires and doesn't ever win it.
Liquidity: $90. Resolves: 1/1/2036.