Israeli troops assassinated a senior Hamas activist.