Trump says looking at options on TikTok, including possible ban