The name of the largest ocean, the Pacific Ocean, is derived from the Latin name “Mare Pacificum”, which means peaceful sea. Who gave the ocean this name?