Diamond Offshore’s Cost-Cutting Measures Spur a Big Earnings Boost