Cincinnati Police in World War II