Trump says he may give TikTok 90-day extension to avoid US ban