Optimal reinsurance with default risk: A reinsurer's perspective