This may have been in the works for a while. Internally it could have been called Yosemite for years, and marketing probably didn't see a conflict as Yosemite is a pretty consumer name.