Defending Europe without the US: first estimates of what is needed