מהפכת אוקטובר בפורטוגל – הבדלי גרסאות