Trump says he is open to Musk buying TikTok if Tesla CEO wants to do so