Editorial | A TikTok ban might be a win for China. There’s a better way. (Washington Post)