So Trump just designated 12.24 and 12.26 as federal holidays. Does that technically give all federal employees five days off (Wed thru Sun)? Might there be a reason it’s beneficial to have a large part of the workforce NOT at work for a period of time? Rather than say it’s a “lockdown” to have people out of the way during other “operations”?…Just thinking out loud…