S. Korea joins EU’s anti-piracy operation around Gulf of Aden