On DeepSeek and Export Controls