Distribution of runup heights of the December 26, 2004 tsunami in the Indian Ocean