What is a tool with an indented head for shaping the head of a rivet. Knight called?

dolly — (Mach.) A tool with an indented head for shaping the head of a rivet. Knight. (Webster's 1913.)

Sources