דובר צה"ל: השם שנבחר לפעילות ברצועת עזה הוא "צוק איתן"