Geraldine Diana Walton — (born 1933)