Which cops?

A reader points out that it was the Park Police, not the MPD, who made the arrest in the case of my dancing friend:

As I understand it, the police officers involved were United States Park Police officers, not Metropolitan Police Department (MPD) officers. Your post references “DC’s finest” and the drop in violent crime and murders allowing the police time to enforce various laws (I realize you were being tongue in cheek to make your point). That characterization of the involved officers could lead, and already has led, to individuals believing MPD officers made the arrest. The difference in the agencies may seem trivial or unimportant to the overall point of your story, but it is, potentially, a big issue for [the DC police force].

Fair, and I cherish the hope that DC police would have felt they had something better to do than arrest people for dancing.