Population of Cedar Key, Florida