Before October 2026, the US Commerce Department and the US Navy had already banned Chinese AI company DeepSeek on government devices