Tencent Designated as a Chinese Military Company by US