There was a move in Seattle to change the name of the county from King County, named after
William Rufus King, Vice President under Pierce and a slaveowner, to ... King County, named after Martin Luther King, noted civil rights leader. I'm not sure that the names need to be changed, but taking the Christian names off could be a compromise solution. "Davis School" is as non-descript and inoffensive as PS 481 or HS 297. BTW, given the
rumors, maybe they'll have to give William King his county back.
If I'm not mistaken, First Lady Laura Bush attended Robert E. Lee High School in Midland.