DoJ is suing Texas