Schlacht in Marawi während des letzten Angriffs der philippinischen Aufklärungsmarines auf die feindliche Stellung im Jahr 2017