20161117 city.mangaluru: Divers who are heroes of rescue ops in Mangaluru