“China exported six million vehicles in 2023 at prices that U.S. and allied automakers cannot match.”