1. Division of Geological and Planetary Sciences, California Institute of Technology, Pasadena, CA 91125, USA.
2. Research Center for Geotechnology, Indonesian Institute of Sciences, Bandung 40135, Indonesia.
3. Institute of Geophysics and Planetary Physics, University of California, San Diego, La Jolla, CA 92093, USA.