CNN消息，以色列将袭击伊朗的军事行动命名为“咆哮狮”