海王应该用什么名字。