Ernakulam district — district of Kerala, India