Here’s what a Texas oil executive from DOGE is doing inside the Interior Department