It's no secret that the government observes different holidays than many of us. Furthermore, the IRS observes holidays applicable to the District of Columbia, which…