att en beväpnad intervention blifvit afslutad med Portugal och att 10,000 man redan passerat gränsen.