What lasted longer, the Korean War or the Battle of Leyte?