El Fondo
    Royal Caribbean sells $1.25 billion in senior debt