U.S. Defense Department says Tencent and other Chinese companies have ties to China’s military