Here’s how the Navy picks names for its ships — and how it breaks its own rules to do it