MITCHELL, JOHN E.