Cited by Michael Steinhardt: Gunman opens fire at Israeli police near Jerusalem’s Old City