Key West southernmost point marker restored after Hurricane Irma