Trump was banned for three years.