Por quién fue descubierto el mar del sur , su importancia y cómo es llamado actualmente.