Idukki district — district of Kerala, India