Have historical records underestimated global sea level rise?