Hải lưu Gulf Stream – Theo ngôn ngữ khác