Definition of Royal Mines