20170710 city.mangaluru: Video footage helps Mangaluru cops arrest 13 stone-throwers