Donald Trump Took Over DC’s Police. Why Is the City’s Mayor So Zen?