Washington’s Birthday is a federal holiday.
My desk calendar called it President’s Day, but after checking online, you are right. My oops.