Which ocean was formerly known as El Mar de Sur?

I always bristle at the term “discovery” when it is used regarding Europeans and geography. Standing on the Pacific Coast of Panama looking at the ocean, one is facing south, more-or-less, due to the curve of the isthmus.