20180710 city.goa: River navigation department to add three new ferries to fleet