Will Trump issue an executive order on February 6?