20201024 city.mangaluru: Port ushers in digital RFID based cart tickets system