so I labelled this "the square" because that's how we refer to it as locals, but there's probably a more official name? ocala squre? ocala downtown square? help!