من هو السعودي الذي أطلق الاتحاد العالمي للفلك اسمه على كوكب مكتشف حديثًا؟