President Rodrigo Duterte declares the war in Marawi city over following the death of Isnilon Hapilon, head of the ISIS-inspired Maute group. Video by RTVM
