20180603 city.goa: 15 hurt after Panaji-Mangaluru bus overturns