President Trump makes Christmas Eve a federal holiday