Operation Ocean Shield: mission success? A Dutch naval vessel frees a pirated dhow in the Gulf of Aden in August 2012.