Which lasted longer, Korean War or Battle of Mindanao?