Naming Rights: Orlando's new police chief is named Orlando