If Trump wins, he will be the Commander in Chief. So the Europeans will have 9 months to figure out.
“When General Eisenhower was elected president, his predecessor, Harry S. Truman, said: “Poor Ike, when he was a general, he gave an order and it was carried out. Now he’s going to sit in that big office and he’ll give an order and not a damn thing will happen.”