DeWitt Q. Williams, former East High School principal, dies