En algún momento, la operación fue también denominada Operación Llegada del Mesías.