President Trump signs the ‘Deranged Jack Smith’ executive order.