Pullmantur Air (Madrid Barajas) has been sold to Royal Caribbean Cruise Line in a deal that included its parent, Spanish tour operator Pullmantur.