“China’s limits on rare-earth exports to the United States were a much bigger problem for us than Trump’s tariffs were for them.”