海狮名字的由来是什么