POT"U"S (get it?) just signed an EO giving fed employees the 24th and 25th of DEC off as paid fed holidays. Methinks: "Not today, Satin (sorry) Satan!"