מכתש רמון קרוי על שם אילן רמון או שזה היה השם שלו כבר לפני?

בבקשה שיענה רק מי שבאמת יודע
באופן מפתיע לא מצאתי שום דבר שכתוב על זה באינטרנט ומרגיש לי שזה היה מופיע בדף ויקיפדיה
אם כן
כתוב רק שיש מרכז מבקרים במצפה שקרוי על שמו