Operation Protective Edge began.