Googling "Hamas Thai worker shovel" seems to indicate they were pretty ruthless and indiscriminate in their killing already Oct 7th.