Is this unusual? A quick google search shows Trump issued an executive order just last year to give the day off to federal employees, but Wikipedia doesn't list it as a federal holiday.