“…Until our Lord Jesus Christ took us to Puerto de Carenas, where is now populated the Village of Havana, which in other times used to be called Puerto de Carenas, and not Havana.&#8221…