Talk:Jimmy Mason (footballer, born 1919)