No individual holidays for Washington, Lincoln, Jefferson or a number of great patriots - just king marty. No others allowed.
As a co-worker of mine suggested once, “Let’s shoot 4 more and take the whole week off.”