The Gulf Stream carries more water than all rivers combined — Anecdota