“Many U.S. allies have functionally demilitarized since the end of the Cold War, partially due to U.S. permissiveness.”