Should UC rename building christened in honor of slave-owner?