garnisonen på Peseadoresöarne uppgår nu till 4,000 man.