My DAd who lived to be 101 used to sing this to me when I was a child. Does anyone know anything about it:

Big dutch Mike was hit by a pikem and the blood ran down his shoulder, and a thousand Micks were killed by bricks in the battle of Big Big Soldier. I think that the tune was to Gary Owen.