The Alaska earthquake of July 10, 1958: Introduction