Israel weighed all options in Gaza boat raid