Statistics for History of tsunamis in Sri Lanka