Translation of the Mining law applied to Cuba by royal decrees of October 10, 1883, and June 27, 1884, with an appendix containing all the provisions issued to date