20191210 city.goa: Ferry tickets to go the electronic way