ʻAlī ibn Ibrāhīm ibn Ṣāliḥ ibn Mushayqiḥ Khālidī