Israel greift Radaranlage in der Nähe von Teheran an, Stunden nach Beginn der Waffenruhe