an excavation for ore or precious stones or for archaeology