Marion County; allocation of additional revenue to fund operation of a public library, a public transportation corporation; or a public communications systems and computer facilities district