A copper mine