Electron polarization of highly stripped oxygen ions emerging from magnetized iron