DeepSeek lost its trademark in the US — someone else registered it 36 hours earlier  ITC