EU's Vestager: Social media companies were right to ban Trump (Politico)