Singapore becomes a global cruise leader, for now