Should Jefferson County file for bankruptcy?