The history of Woods Hole's deep submergence program