What is the common name given to the Atlantic ocean at the time of columbus' voyage?

The oldest known mention of the Atlantic Ocean is from 450BC in The Histories of Herodotus, where it was termed Atlantis thalassia. This translates roughly to the Sea of Atlas, which was a common name for the Atlantic for a long time. Since its first mentions, the Atlantic has almost always been referred to by some variation of the Sea of Atlas or Atlantic Ocean. Another name that has been used is the Ethiopic or Aethiopic Ocean, referring to Ethiopia. Even though modern-day Ethiopia is on the Eastern coast of Africa, the name was also associated with the Southern Atlantic Ocean.

Columbus used several maps for his voyages, including those made by cartographer Grazioso Benincasa. He is credited as the first mapmaker to refer to the Atlantic by name, presumably some variant of "Atlas," as many maps made at this time were drawn up with the goal of pinpointing the location of the fabled land of Atlantis.