The US civilian federal agency ban on DeepSeek took effect in July 2026, nearly three months before the US Department of Homeland Security made it public on October 19, 2026