MARAWI CITY — The Army’s 101st Infantry Brigade on Saturday rendered a 21-gun salute on Saturday for 168 soldiers and police officers who perished in the five-month battle nine years ago that concluded in the flushing out from this besieged city of Islamic State-linked militants. That is why Oct. 17 is observed as “Marawi Liberation