A public pension plan of the State of Texas