Nvidia’s H200 finally reaches Chinese buyers, though maybe not mainland China