Footnote

a Portuguese settlers apparently called it the desertão, or big desert, because it reminded them of the deserts and savannas of North Africa.