“The IRGC Navy's area of responsibility is the Persian Gulf up to the Strait of Hormuz.”