(Como complemento curioso que llama la atención, tampoco lo nombra el diario de viaje de Luis de la Cruz en 1806, a pesar de que es más detallista que Havestadt.