Pullmantur Air (Madrid Barajas) and its parent, tour operator Pullmantur, have been sold to Royal Caribbean Cruises.