Presidents' Day (State Holiday) (In 2023 the House and Senate were in session)