Definition of Mining District