How much is Santee Cooper worth?