Don Walsh, Navy officer who reached ocean's deepest spot, di