Kerala district gazetteers: Trivandrum (supplement) (Govt of Kerala, 1979)