DeepSeek’s trademark in the U.S. was registered by alumni of DeepSeek’s founder  ChainCatcher