>>35 よりもよって海獣の名前を
つけなくてもいいと思うけどなあ。
動物の名前をつけるのは当時の蔑称かな。
例外的に、隼人(はやと)は
かえってカッコ良くなってる。