“Two U.S. destroyers recently passed through the Strait of Hormuz without encountering any mines, missiles, or other hostile activity from Iran.”