Mapa de Tasco, Boyacá en Colombia