MINING INTELLIGENCE. (1887)