A benchmark dataset for deep learning-based airplane detection: HRPlanes