Gulf of Maine shrimp season to be a short one