Cincinnati Pops Orchestra, 10/13/17, Music Hall, Cincinnati, OH