Walter E. Heinrichs, Jr. mining collection inventory