Masato, many thanks for posting that.Malcolm, I just had a listen to a song called 'Three Jovial Miners' on a album by Roger Watson and Debby McClatchy ['Radioland' Plant Life PLCO79]. I thought it might be related to the 'Six Jolly Miners' you mention, but it bears no relationship to any above - pleasant, jaunty piece though.
--Stewie.