I have seen ISP doing CGNAT on DOD IP space.