Loading: Annual petroleum production in the US more than doubled from 2008 to 2018