2nd pioneer infantry ww1