US-Soldaten unterstützen philippinische Armee im Kampf um Marawi