och 250 man infanteri ryckte ut på eftermiddagen och patrullerade på gatorna.