How a TikTok ban could actually benefit China: WaPo editorial board