As a percentage of GDP, the American military isn’t massive. It’s smaller than China’s. It’s smaller than India’s and only slightly bigger than little North Korea.