When Computers Went to Sea: The Digitization of the United States Navy