"The Old Miner" is in Mudcat MIDIs here. This song is actually in the DT twice, once as OLD COAL MINER,
filename[ OLDCOALM, and the other as OLD MINER, filename[ OLDMINER. I don't know if songs ever get deleted from the DT, but in this case it might be considered, since (in my opinion) these two hardly qualify as two different versions, but rather two different transcriptions of basically the same song, OLD COAL MINER being the better one. At any rate it is the one that makes best sense, and is closest to Roy Palmer's Songs of the Midlands (1972), which seems to be the original source for the song (also apparantly the source of the MIDI); but the most common form of the title (there and elsewhere) seems to be "The Old Miner".