U.S. warships muscled into the strait, sinking fast-attack boats that targeted ships as Iran struck tankers and the U.A.E.