THOMAS J. MASON, JR.