Media reports quoting US authorities said the operation was jointly carried out by the US Coast Guard and military units, with assistance from the United Kingdom. Media reports quoting US authorities said the operation was jointly carried out by the US Coast Guard and military units, with assistance from the United Kingdom.