Microsoft buying TikTok would be OK: Trump