Florida, intracoastal waterway, Big Spanish Channel to Johnston Key / Coast Survey.