20190614 city.goa: Panaji: In mid-sea operations; Coast Guard saves armyman