The Norwegian Christmas Tree at Union Station. (Fritz Hahn/The Washington Post)

Federal employees will have an extra vacation day on Monday, Dec. 24 — Christmas Eve. In an executive order signed Tuesday night, President Trump announced that all federal employees will get the day off.

In recent years, federal workers have been given Monday off whenever Christmas Day falls on a Tuesday. President George W. Bush issued a similar executive order in 2001 and 2007, and President Barack Obama did the same in 2012. In 2014, Obama excused federal employees from work on Dec. 26, which fell on a Friday.

As is customary, the executive order says that some employees may be required to report to work “for reasons of national security, defense, or other public need.”

Agency heads also have the discretion to determine whether certain offices need to remain open on the holiday.

The order comes as federal workers face longer-term uncertainty about a less festive government shutdown. Even though Trump backed off his demand for $5 billion to pay for a wall on the Mexican border on Tuesday, Democrats and Republicans have yet to come to a budget deal with a deadline looming on Friday to find a compromise.

More from Morning Mix:

A blind, worm-like amphibian that burrows underground has been named after Donald Trump

A humble weed grew in a cracked city sidewalk. Now it’s the Christmas Weed, a festive holiday destination.

What was Michelle Obama thinking after Trump’s inauguration? ‘Bye, Felicia.’