Did Trump make Christmas Eve a permanent federal holiday? What his order means

While some Americans may have more days off over the holiday, here’s what to know about the change.