US president signed an executive order