No, the school officials never said how many slaves were owned or traded by that black African king. He probably gets a pass due to race. When the deleted the name of George Washington school, they were making a political statement about white slave owners, not slave owners of other races or backgrounds.
I knew that, of course.
But your post actually said that they were concerned about honoring slave owners, not honoring white slave owners.
Anybody want to bet the king owned some large multiple of the black slaves owned by George?