Board of Directors of Texas Industries Inc. (TXI)