Pueblo Viejo was referred to just as Pueblo in the 1980 census. Some other documents I’ve read also only referred to them as Pueblo.[1]