Crabbers say red tide is not hurting stone crab harvest