Atmospheric correction of ocean color imagery through thick layers of Saharan dust