I, for one, am glad it was mentioned. There's nothing secret about it and it saves me some trouble. Thanks for taking one for the team, Guy who figured it out
There have been only 5 "former Captain of the USS Zumwalt". That is a very small subset of humans. There have been more humans walking on the moon than former Captains of the USS Zumwalt.
Their names are a matter of public record and one can answer which works as a CEO with 5 simple google searches.
If they didn't want to name the company they shouldn't have identified it willingly and precisely.
Making clear allusions to the company without directly naming it allows anybody in this conversation who cares to figure it out easily, but doesn't get this discussion automatically indexed with that company's name. Naming the company in a response is rude and unnecessary.