World | Fri Oct 5, 2012 1:31pm EDT

American gunman killed in Israeli hotel shoot-out