This article helps explain why so many mines had different names at

different times.