The building had originally been a part of the adjacent Islamic Revolutionary Guard Corps (IRGC) naval base, though officials told the NYT that it isn’t clear when the two had separated. He added that ...