That part of the sea known among whalemen as the „Brazil Banks“