Official decision to remove the Trump Star from the Hollywood Walkway