Trump order sets aside Christmas Eve, Dec. 26 as federal holidays