President Donald Trump signs an executive order