Nearly 10,000 fired as Trump, Musk steps up assault on US agencies