public holiday in Eritrea commemorating those who gave their lives during the Eritrean War of Independence