Having not seen those sources, but having heard the above from multiple places, are you sure it's not on sea charts? Maybe not current ones, but it may have been on older ones (of course, those could have been salts themselves before safety was a concern.