海王这个词什么时候出现的 海王的简介