Should Israel have launched a ground invasion of Gaza?