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