Thank you for posting the above videos :)
Hy Brazil , was a name given in ancient maps, to an isle in the atlantic ocean . Information lost in time. Some said it was in an isle in another dimension (like in celtic legends), in another age (atlantis), a real isle of volcanic origin that sank (volcanic eruption) .
The idea behind Brasil was to discover a west passage to India. Later, after Columbus (who was convinced that he had discover the Isle of Brasil) came the confirmation by exploraring, that it was indeed a continent.
«Terra de Vera Cruz» translates to «The Land of the True Cross» .
Vera comes from the latin term Veritas i.e. truth.
Later, it was called « The Land of the Holy Cross» (Terra de Santa Cruz) and then, finally, Brasil - some say from Pau-Brasil, a precious wood (like Rosewood, etc) with a redish color, (like wood on fire or BRASA, the portuguese term) for making arcs, etc
Vera comes from the latin term for Veritas i.e. truth.
Ps - Being a Portuguese historian, I am well into the whole Brasil «lore». :)
Namasté