20121110 city.goa: Mormugao port trust board okays options for employees to leave