Dept. of Marine Resources shutdown as legislators battle for funding for agency WXXV Staff, July 1, 2020