It’s probably a good thing Texas got the word on the 19th instead of the 20th. JuneTwenth doesn’t have the same cachet as JuneTeenth.
Junedeuce?