The president should withdraw his executive order