As whale oil was quickly replaced by kerosene in the late 1800s was there any political lobbying to help maintain the whaling industry's dominance in the market in the United States or Europe?