Trump banned TikTok and WeChat—what now?