If the stock market followed the government back then...
Titled Washington's Birthday, a federal holiday honoring George Washington was originally implemented by an Act of Congress in 1880 for government offices in the District of Columbia (20 Stat. 277) and expanded in 1885 to include all federal offices (23 Stat. 516). As the first federal holiday to honor an American citizen, the holiday was celebrated on Washington's actual birthday, February 22.[1] On January 1, 1971, the federal holiday was shifted to the third Monday in February by the Uniform Monday Holiday Act.[2] This date places it between February 15 and 21, which makes the name "Washington's Birthday" in some sense a misnomer, since it never lands on Washington's actual birthday, February 22.