Currently, there are no trademarks owned by The State of Texas, by and through the General Land Office, a Texas state agency, for the Use and Benefit of the Permanent School Fund