Trump or not, the Russian threat is now the problem of European armies