Royal Caribbean lève 2,5 milliards de dollars via une émission de dette senior