Tune Req: Big dutch Mike was hit by a pike

Subject: Big dutch Mike was hit by a pike
From:
Date: 07 Oct 01 - 12:54 AM

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.