20171207 city.mangaluru: Coast Guard rescues 13 fishermen