Just adding a point of information for those of you who are not in the field and may not know -
Pantone is known in the business and graphic design world as the arbiter of color. Many people who don't deal with design issues regularly may not understand that color looks different based on lighting, device, sheen, complementary colors in a design, and other factors. What appears one way to one person digitally, for instance, may look significantly different on someone else's monitor, or if printed out, or viewed on a phone, or (God forbid) printed on a jersey or a helmet.
Pantone swatches are the antidote to this occurrence (or at least a strong tool in fighting it). They're used as a standard to designate a true color, irrespective of the device or what have you. If you are trying to put a brand together, you design to a Pantone color. If you are licensing your brand to others, you give them a Pantone color - because saying "Dark Blue" or "Navy Blue" doesn't reflect the wide variance of colors that are represented by those monikers.
On that note,
the US Navy uses Pantone colors in their licensing guide. And you can see from their digital
Design Guide that their colors include Navy Black, Navy Blue, and 4 other colors.
So if you're intent on arguing what color is what, you might start with the Navy design guide - and follow the thread to the appropriate Pantone colors. It will help you make a stronger argument (or decide not to argue over it at all, since the people who are in the business of color have generally already figured it out).