Trump signs the executive order to regulate social media.