The U.S. Navy destroyer Hopper, named for Grace Murray Hopper, sails into San Francisco Bay in 1997. (Thor Swift / Associated Press)
