The restraining order, which would have taken effect Friday at noon Pacific time, delivered a sharp rebuke to Trump’s effort to deploy thousands of troops on the streets of an American city, a move ...