the reds corporation in coal mining