Damaged WWII mural receives restoration