Pakistan: army patrols strife-torn Karachi