The white sandy beaches along a swath of Florida’s Gulf Coast were battered by three hurricanes last year, leading to a multimillion-dollar effort to repair a coastline that is the region’s economic ...