Discovery and demolition of alleged Hamas attack tunnel in Gaza