The 2026 US federal ban on DeepSeek applied to civilian agencies such as the Treasury, State and Justice departments but not to Pentagon agencies