After police chief ousted, petition calls for Henderson city manager’s replacement