Last I looked MLK day was an official holiday in Texas. I also know that “Juneteenth” is celebrated widely among the black population of Texas.
It is recognized now, didn’t used to be. Today is Confederate Heroes Day.