“Some of the researchers who developed China's advanced DeepSeek AI model were educated in the United States but were not retained by the U.S.”