Propagation Model for Nowcasting of HF Communications with Aircraft on Polar Routes