The quick, quiet death of Biden’s natural gas export pause