garnisonen , 4,000 man stark , gick under den brasilianskaeskaderns