A brief history: The <b>Islamic</b> City of Marawi