Probability distribution for size and mass of a nodule in the KR5 area for the development of a manganese nodule miner. (1st January 2019)