Jefferson Diner, Jefferson Ohio