Category:Mining in the Republic of Ireland