A Story of Whales and People: the Portuguese Whaling Monopoly in Brazil (17th and 18th Centuries)