Did you know that European cartographers initially considered the Pacific Ocean to be Ptolemy 's Great Gulf ?