DeepSeek banned in US before April?

This market will resolve to "Yes" if a US government ban that prohibits access or use of AI models owned by DeepSeek by the majority of Americans in the United States becomes legally enforceable for any amount of time between January 22, and March 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". The primary resolution source for this market will be information from the US federal government, however a consensus of credible reporting will also be used.