As I was putting the issue to bed, this came in from The Wall Street Journal: “Trump Wins the Battle of NATO”

After decades of US presidents politely asking members of NATO to kick in their “fair share” of the costs of running the alliance, Trump appears to have finally made it happen. On June 25, he announced all of NATO’s major members, except Spain, had agreed to gradually raising their country’s total contributions to the alliance to 5% of their GDPs. (Up from the current 2% floor.)

The allies committed to spending 3.5% of their GDPs on “hard military power” by 2035, and another 1.5% on “peripheral but still useful” defense investments, such as hardening cyber defenses.