It’s a Fact: Domestic Drilling Doesn’t Affect Gas Prices