Royal Caribbean building sold, tenant to stay put

Cruise line has 9-plus years remaining on lease