TEXAS PACIFIC CORPORATION