Brazil’s “End-of-the-World” auction for oil and gas drilling (commentary)