setting-punch

from The Century Dictionary.

• noun In saddlery, a punch with a tube around it, by means of which a washer is placed over the shank of a rivet, and so shaped as to facilitate riveting down the shank upon the washer.