Why blocking China's DeepSeek from using US AI may be difficult