How many civilians were killed in World War I?