War in Iran jolts final day of campaigning in Texas primary