Washington added tech giants Alibaba and Baidu to a list of firms it says are aiding the Chinese military.