I am trying to determine when Wednesday SPX options will now settle. I have heard that it will be tomorrow, Tuesday, but have not confirmed.

https://www.marketwatch.com/story/what-george-hw-bushs-funeral-means-for-stock-market-bond-traders-commodities-2018-12-03/print