Special:EditPage/Ernie Jones (footballer, born 1920)