federal workers’ holiday plans