Stung by Twitter, Trump signs executive order to weaken social media companies