Hong Kong is not China, according to the WTO