Thank you to DOGE and President Trump for saving us soooo much in tax dollars to make the Federal Government efficient. That is why Trump issued an executive order Thursday declaring Christmas Eve and Dec. 26 as federal holidays this year and now there are 13 Federal Holiday with a 14th in Flag Day / Trump's Birthday coming soon.