Indeed, and the fact that US is basically the only member of NATO with a serious military must be increasingly concerning for Europe now. If US gets bored of Europe and decides to pivot to China or the Middle East, then European NATO members are going to be in a very difficult position.