Örn militärevolten i Oporto , omnämdi