Court OKs Transocean's settlement with U.S. over Gulf spill