The Trump administration’s large cuts to the federal work force turned an annual celebration of federal workers into a ...