There are currently no reportable net short positions by Teacher Retirement System of Texas