Armada portuguesa compartió una filmación de la operación "El Dorado"