Henderson County reimburses city for school resource officer