Resolves Yes if Jimmy dies on a federal holiday in 2024.
Resolves No if Jimmy doesn't die on a federal holiday in 2024.
Resolves NO -- there are no federal holidays left.
12/365 ~ 3% conditional on him dying this year