John Marshall High School, Cleveland, Ohio - demolition discussion