Over 4,000 Federal Employees Laid Off by Trump Administration During Government Shutdown, Court Document Shows October 11, 2025