Was Cincinnati’s hiring of a horticulturist a first in the zoo world?