Hamiltonian Monte Carlo for Reconstructing Historical Earthquake-Induced Tsunamis