Army ordered to kill Israelis on 7 October