public holiday in Portugal commemorating the end of Monarchy and the beginning of the Portuguese Republic