Obituary: William Case Vernon, 80, founder of Vernon Petroleum