20200822 city.kochi: Leasing out Trivandrum airport: Kerala govt moves HC