Shrimp Season to Close Monday July 9 in Additional Portions of Inside Waters