 However, there was a suggestion that there's violence possible by Venezuela. Was that something during the Trump administration that was an issue? Because I know the oil discoveries that make Guyana such a prominent target were made between 2015 and 2020. Did it come up on your watch, Evan?