Will Trump issue an executive order on February 10?