What the US presidential election means for Europe