Over 9,500 federal workers were laid off in a drive led by President Trump and advisor Elon Musk to reduce bureaucracy.