Donald Trump's star on the Hollywood Walk of Fame — destroyed on several occasions by detractors who sometimes wield a pick-ax — mysteriously multiplied over night so that on Thursday morning there were several dozen stars.