20160711 city.goa: Tension at Western India Shipyard diffused