Diver who rescued Thai soccer team was trapped, saved from underwater cave | Hacker News Reader