Given the US president's personal affection for TikTok, it had been widely expected that no ban would come into place as the June 19th deadline approached.