Source: https://www.politico.com/states/new-jersey/story/2017/07/03/deal-reached-to-end-state-shutdown-113206