US Navy bans TikTok from government-issued mobile devices