Bad enough Gulf halibut fishermen have to choose in spring when to fish in summer