john fernandez de la gotera discovered the mines