Ionospheric whistler propagation