Why Trump Is Gathering Republicans in Texas, and Iran Targets U.S. Warships