Sorry. Pre-coffee burp. I read “Jerusalem” instead of “Palestine” because of my preconceived biases.
See post 17