John P. East, May 5, 1931–June 29, 1986. PSR 1986, 16, v.