Does anyone know the energy distribution of highly charged ions in solar wind or other astrophysical context?