>>761
フルネームの方はその名を付けられた最初の艦、大戦後のが多いのでは?
あとマスティンは個人名ではなくマスティン家から