Impacts of Auroral Precipitation on HF Propagation: A Hypothetical Over-the-Horizon Radar Case Study