NCL Corporation prices $1,800 million senior notes