BENJAMIN C. MASON, JR.