Iran was warned of possible Israeli strike by ally, official tells Reuters