"Navistar Defense" is the company, not the make. On Wikipedia they still refer these as just Navistar like https://en.wikipedia.org/wiki/Navistar_7000_series
And some still as International: https://en.wikipedia.org/wiki/International_MaxxPro
Maybe some should be changed then, but maybe not all