Email Record: Bathymetric survey and sedimentation analysis of Lago Patillas, Puerto Rico, August 2019 /