Natural gas leak, caused by platform explosion, sealed with sediment