Mining world (Miller Freeman, 1939)