Before revision: It is recorded that, crossing the Strait of Gibraltar — the "Rock of Gibraltar", the so-called "Pillars of Hercules" in the Greek myths — they sailed across the Atlantic Ocean reaching the south to some point on the west coast of Africa and the north to the British Isles (or even beyond, to the place that the texts call Thule), but it is unclear if they circumnavigated Africa or crossed the Atlantic reaching America (which they would have called Antillia) — something most likely achieved by the the Norsemen in the 10th century.
After revision: It is recorded that, crossing Strait of Gibraltar — the "Rock of Gibraltar", the so-called "Pillars of Hercules" in the Greek myths — they sailed across the Atlantic Ocean reaching the south to some point on the west coast of Africa and the north to the British Isles (or even beyond, to the place that the texts call Thule), but it is unclear if they circumnavigated Africa or crossed the Atlantic reaching America (which they would have called Antillia) — something most likely achieved by the the Norsemen in the 10th century.