Aspects of a Large Tsunami That Struck the Sunda Strait in Indonesia: Lessons for Japan and the Rest of the World. (September 2019)