Ελληνική διοίκηση στη ναυτική επιχείρηση της Ε.Ε. στην Ερυθρά Θάλασσα