How much of the ocean have we explored? | Hacker News Reader