Interesting story. By the way, the NTDS computer system you mentioned was very successful and important for military computing, but it's almost forgotten now.

Wikipedia has more info: https://en.wikipedia.org/wiki/Naval_Tactical_Data_System

The book When Computers Went to Sea: The Digitization of the United States Navy has a very detailed history.