US checking if DeepSeek used restricted AI chips