Design debate over Anna Maria City Pier after Hurricane Irma damage