John Phillip Holland — (born 1920)