IRVIN L. MINES, JR