Is the difference between the cost of damage due to depletion of minerals in Kenya and Korea (Republic) greater than the difference between the cost of damage due to depletion of coal in Kenya and Korea (Republic) ?