DeepSeek banned in US before July?

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 26, and June 30, 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.