Trump has signed an executive order.