Credit: WTOP/Michelle Basch DC mayor grants 115 police officers OT as uptick in shootings prompts patrol changes