Different expert here:
Just an assist to J.R. and to get the question off the work queue...
Sometimes referred to as a roll pin punch - they are available individually - or a set in various diameters..
SEE THIS LINK
Please accept J.R.'s answer to remove it from the work queue.