In 2017, Hurricane Irma battered Florida and wrecked a 1.2-mile stretch of shoreline in Key Biscayne, a barrier island near Miami. During a beach renourishment project in early...