The workforce at the U.S. Education Department will soon be half of what it was when President Trump took office in January.