DeepSeek aids China's military and evaded export controls, US official says