trupper den 20 Juli inryckt i Coirabra , sedan 5 Miguelitiska regementet öfvergått till dem.