Okay, so the gov't will be officially closed by exec. order on the 5th of Dec…
https://www.nbc4i.com/news/u-s-world/executive-order-closes-government-on-december-5-2018/1632665690?fbclid=IwAR3u9djp6TTa0CaG-90Sk7r2vNG5amrgN6Q3TNrOpUfjCz0uogesZ4W3OrA
https://www.whitehouse.gov/presidential-actions/presidential-proclamation-announcing-death-george-h-w-bush/