paddy in the iron mills song