DC, federal employees and Trump's Department of Government Efficiency: What we know so far