Editorial | The TikTok ban is a bad idea (Washington Post)