Restoring Rio de Janeiro's famed Portuguese pavements