Trump says he will ban TikTok from US