We know nothing of richy-mitch-the-coalminers