China’s exports of rare earth magnets to the US surge in June