Homo erectus were the world's first mariners.