At issue is an executive order signed by President Donald Trump but never enforced because of immediate court challenges.