Israeli source says targets struck in Gaza included Hamas naval commander, as well as battalion commander.
