Allies resumed the war.