What is an extension piece applied to the top of a pile; a dolly called?

punch — (Pile Driving) An extension piece applied to the top of a pile; a dolly. (Webster's 1913.)

Sources