Explicit formula for the valuation of catastrophe put option with exponential jump and default risk. (August 2017)