20150820 city.goa: Baina-Panaji ferry service likely from Oct 15