Mapa de Viracachá, Boyacá en Colombia