person 1: hey, let's go to jacksonville for vacation
it has the largest city proper population in the state of florida, but is somehow not as well known as miami, tampa, orlando, or even tallahassee
"person 1: hey, let's go to jacksonville for vacation" What is the definition of "jacksonville"?