Pretty easy to lose a mineral mine in the jungles of Central America. They’re still finding entire cities there.
It’s amazing what is being found by amateur sleuths using google earth.