As of Tuesday, the Education Department is about half the size it was when President Donald Trump took office just a few ...