I'm sure that George Washington would appreciate that. They should just call it "Deep State Swamp". But they will probably rename it "Obama, DC".
Oh Wait, Columbia refers to that white supremacist Christopher Columbus. They'll need to change that too.
"Obama, District of Clinton".
There already is a part of Wash DC called Foggy Bottom. That name can be expanded for the entire city.