I am talking about an American company selling deepseek inference as a service.

Also since the model is open source you wouldn't need to go through procurement to obtain it anyways.