Which ocean was formerly known as El Mar de Sur?

Which ocean was formerly known as El Mar de Sur?
Twitter Google+ Share on Facebook