when did gertrude ederle die?