Why the US can’t quickly wean Europe from Russian gas