med tre bataljoner ankommit från Aragonien till Navarra.