Пуерто Рико награждава Рики Мартин със звезда на Алеята на славата