北边的海叫北海，南边的海叫南海，东边的海叫东海，西边的海叫什么？