
Iranian patrol boats and aircraft shadowed a U.S. aircraft carrier strike group as it passed through the Strait of Hormuz on Tuesday, ending a Gulf mission amid heightened tensions with Tehran that include threats to choke off vital oil shipping lanes.