DeepSeek has been banned from civilian federal agencies.