Cease fire announced in the Gulf, bombing of Iran stops