DC mayor to add 170 more police officers after originally cutting funds