Where should bed tax revenue go in St. Johns County: To the beaches or to marketing?