アメリカの軍艦に人名が多い理由