Lei Sun: Finite fault models for the 2020 Puerto Rico earthquake. Zenodo 2025