General: Up to 900 ISIS fighters killed in battle for Mosul