20121011 city.goa: Mormugao port trust; Panaji port workers to come under one banner