Excuse my ignorance (the only thing I know about Texas is what I've seen on the TV series Dallas <g>) but doesn't Texas have the Star of Texas? What exactly is this?

Thanks