20200807 world.us: US Senate votes to ban TikTok app on government devices