Gertrude Ederle becomes first woman to swim across the English Channel.