ROBERT E. MINES, JR.