when-the-war-is-ended