“China is now deploying innovative reactor types that were originally invented in the United States in the 1970s and 1980s but never commercialized.”