World War 2: Spanish Civil war ends