Trump signs executive order to give TikTok extension — Politico