workmen in a pile driver