Когда его впервые померили, он назывался просто "Пик 15". Результаты измерения показали, что он достоин другого названия. Как же он называется сейчас?