revolution in Portugal