Radon measurements and dose estimate of workers in a manganese ore mine. (June 2017)