Три крупнейших круизных судна в мире поприветствовали друг друга гудками, собравшись в одном месте в первый и, возможно, единственный раз.