The state has demanded maps from mining companies from the...

The state has demanded maps from mining companies from the beginning, so there is a good map library. But, those maps were mainly a way for the state to collect royalties. That means that some shafts were not mapped.