‘An extraordinary escalation’: What Trump’s police takeover means for D.C.