Key West marker restored after Hurricane Irma