If the IRGC controlled the Gay of Hormuz they would have it publicly executed.