Washington’s coastal Dungeness crab commercial season opens Feb. 1