China bans exports to U.S. of some materials for electronics manufacturing, 3 December 2024