See also The Wall Street Journal: China tightens tech export rules, complicating potential TikTok sale