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