Ownership of mines