Theory for charge states of energetic oxygen ions in the Earth's radiation belts