באיזו עיר הוצא להורג המרגל הישראלי אלי כהן?