[bagster]

I just checked and Trump also signed an EO to make Dec.24 a fed holiday in 2019 as well. So no biggie.

Unless....those other times were the setup for this time.

Military planning, and all.

[little jeremiah]

Hmm...that is a thought. Otherwise, why not just make an EO designating Dec.24 always a fed holidy? Hmm hmm. You have lots of brainz.