"The district court’s injunction cannot be squared with the substantial deference that the Department’s professional military ...