Gulf shrimp season to close on May 15th