U.S. Navy, Iran, Persian Gulf, Strait of Hormuz, Iranian Revolutionary Guard Corps,