La información la dio a conocer el Teniente Coronel Edgard Jiménez Hernández, comandante del Destacamento de Vigilancia Costera Nº11