Pricing Reinsurance Contracts on FDIC Losses