Awesome
Apparently it's been happening:
https://www.marketwatch.com/story/what-george-hw-bushs-funeral-means-for-stock-market-bond-traders-commodities-2018-12-03
>The last time the market closed to mark the death of a president was on Jan. 2, 2007, in the wake of President Gerald Ford’s death.