MITCHELL JR , WILLARD B