More than 7,000 Palestinian terrorists killed in Gaza war, Israeli official says