The Department of Homeland Security banned federal civilian agencies from purchasing DeepSeek products, services, and third-party tools powered by DeepSeek