Puerta lateral de Santo Domingo, San Cristóbal de Las Casas