Live: IRGC will target US ships in Indian Ocean if fighting resumes, official says