How Trump could decline to enforce a Congressional-enacted TikTok ban