The Asian tsunami: A protective role for coastal vegetation