Couldn't find the words in the DT, but it appears that a number of groups have recorded the song "The Gallant John Joe" about the Irish football hero, John Joe O'Reilly and are searchable on the net. bit more info here