“Leung, an American businessman with permanent residency in Hong Kong, was sentenced to life imprisonment in 2023 on espionage charges. The Chinese government has provided little detail about the charges, a feature of Chinese national security investigations.”