By David Gritten for BBC News
The aircraft carrier USS Dwight D Eisenhower which is deployed to the Red Sea at present was among the vessels involved in the operation. Photo: AFP / US Department of Defence / US Navy