The travel ban was set to take effect on Oct. 18.