Department of Justice is trying to sue Texas over immigration law.