More than 4,000 US federal workers were laid off last week, according to court documents filed by the Trump administration, ...