IDF says top Hamas operative who directed West Bank terror killed in Gaza strike