https://www.mikehigginbottominterestingtimes.co.uk/2013/12/27/longest-highest-deepest/
Longest, highest, deepest