As autoridades, que falaram sob condição de anonimato, disseram que a operação está a ser realizada pela Guarda Costeira e pelas Forças Armadas dos EUA.