US federal payroll shrinks by 352,000 jobs under Trump