Los funcionarios, que hablaron bajo condición de anonimato, dijeron que la operación estaba siendo llevada a cabo por la Guardia Costera y el ejército estadounidense.