förklarat , att det behöfves 15,000 man för öns pacificering.