All tagged shrimp-baiting season