Trump makes US copper mining a focus of his domestic minerals policy