In this part of Ohio we have had several oil booms (and busts) over the past 100+ years, and thus we have a fair amount of oil producers. I've talked to several of them and they all say that the US govt policy is to preserve as much of our oil as we can---just as you say---for the day when the others run dry.
Thanks for the confirmation.
Interesting.