Недавно астероид номер девять тысяч семь получил собственное имя. Какое?