Israel kills a Hamas leader