What happens if Trump decides to ignore a judge’s ruling