There’s a US energy boom, but not thanks to Obama