hade Portugisiska hjelplegionen uppbrutit till Norra Spanien.