Comment on Geologists doubt Earth has the amount of copper needed to develop the entire world