US executives quit $25B gas venture over claims of secret Russian control | Hacker News Reader